<?php
$sql_tipousuario = "SELECT * FROM tipousuario ORDER BY tip_nome";
$res_tipousuario = sql($sql_tipousuario);
while($linha_tipousuario = mysql_fetch_array($res_tipousuario)){
?>

<input type='checkbox' name="tip_id[]" value="<?=$linha_tipousuario['tip_id'];?>" <?php if (count($tip_id)>0) { if(in_array($linha_tipousuario['tip_id'],$tip_id)) { echo "checked"; } } ?>> <?=$linha_tipousuario['tip_nome'];?><br />

<?php } ?>